3.1.15 \(\int \sin ^{-2-m}(c+d x) (a+a \sin (c+d x))^m (1+m-m \sin (c+d x)) \, dx\) [15]
Optimal. Leaf size=35 \[ -\frac {\cos (c+d x) \sin ^{-1-m}(c+d x) (a+a \sin (c+d x))^m}{d} \]
[Out]
-cos(d*x+c)*sin(d*x+c)^(-1-m)*(a+a*sin(d*x+c))^m/d
________________________________________________________________________________________
Rubi [A]
time = 0.06, antiderivative size = 35, normalized size of antiderivative = 1.00, number of steps
used = 1, number of rules used = 1, integrand size = 37, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.027, Rules used = {3053}
\begin {gather*} -\frac {\cos (c+d x) \sin ^{-m-1}(c+d x) (a \sin (c+d x)+a)^m}{d} \end {gather*}
Antiderivative was successfully verified.
[In]
Int[Sin[c + d*x]^(-2 - m)*(a + a*Sin[c + d*x])^m*(1 + m - m*Sin[c + d*x]),x]
[Out]
-((Cos[c + d*x]*Sin[c + d*x]^(-1 - m)*(a + a*Sin[c + d*x])^m)/d)
Rule 3053
Int[((a_) + (b_.)*sin[(e_.) + (f_.)*(x_)])^(m_)*((A_.) + (B_.)*sin[(e_.) + (f_.)*(x_)])*((c_.) + (d_.)*sin[(e_
.) + (f_.)*(x_)])^(n_), x_Symbol] :> Simp[(B*c - A*d)*Cos[e + f*x]*(a + b*Sin[e + f*x])^m*((c + d*Sin[e + f*x]
)^(n + 1)/(f*(n + 1)*(c^2 - d^2))), x] /; FreeQ[{a, b, c, d, e, f, A, B, m, n}, x] && NeQ[b*c - a*d, 0] && EqQ
[a^2 - b^2, 0] && NeQ[c^2 - d^2, 0] && EqQ[m + n + 2, 0] && EqQ[A*(a*d*m + b*c*(n + 1)) - B*(a*c*m + b*d*(n +
1)), 0]
Rubi steps
\begin {align*} \int \sin ^{-2-m}(c+d x) (a+a \sin (c+d x))^m (1+m-m \sin (c+d x)) \, dx &=-\frac {\cos (c+d x) \sin ^{-1-m}(c+d x) (a+a \sin (c+d x))^m}{d}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.27, size = 35, normalized size = 1.00 \begin {gather*} -\frac {\cos (c+d x) \sin ^{-1-m}(c+d x) (a (1+\sin (c+d x)))^m}{d} \end {gather*}
Antiderivative was successfully verified.
[In]
Integrate[Sin[c + d*x]^(-2 - m)*(a + a*Sin[c + d*x])^m*(1 + m - m*Sin[c + d*x]),x]
[Out]
-((Cos[c + d*x]*Sin[c + d*x]^(-1 - m)*(a*(1 + Sin[c + d*x]))^m)/d)
________________________________________________________________________________________
Maple [F]
time = 0.37, size = 0, normalized size = 0.00 \[\int \left (\sin ^{-2-m}\left (d x +c \right )\right ) \left (a +a \sin \left (d x +c \right )\right )^{m} \left (1+m -m \sin \left (d x +c \right )\right )\, dx\]
Verification of antiderivative is not currently implemented for this CAS.
[In]
int(sin(d*x+c)^(-2-m)*(a+a*sin(d*x+c))^m*(1+m-m*sin(d*x+c)),x)
[Out]
int(sin(d*x+c)^(-2-m)*(a+a*sin(d*x+c))^m*(1+m-m*sin(d*x+c)),x)
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(sin(d*x+c)^(-2-m)*(a+a*sin(d*x+c))^m*(1+m-m*sin(d*x+c)),x, algorithm="maxima")
[Out]
-integrate((m*sin(d*x + c) - m - 1)*(a*sin(d*x + c) + a)^m*sin(d*x + c)^(-m - 2), x)
________________________________________________________________________________________
Fricas [A]
time = 0.38, size = 41, normalized size = 1.17 \begin {gather*} -\frac {{\left (a \sin \left (d x + c\right ) + a\right )}^{m} \sin \left (d x + c\right )^{-m - 2} \cos \left (d x + c\right ) \sin \left (d x + c\right )}{d} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(sin(d*x+c)^(-2-m)*(a+a*sin(d*x+c))^m*(1+m-m*sin(d*x+c)),x, algorithm="fricas")
[Out]
-(a*sin(d*x + c) + a)^m*sin(d*x + c)^(-m - 2)*cos(d*x + c)*sin(d*x + c)/d
________________________________________________________________________________________
Sympy [F(-2)]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: SystemError} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(sin(d*x+c)**(-2-m)*(a+a*sin(d*x+c))**m*(1+m-m*sin(d*x+c)),x)
[Out]
Exception raised: SystemError >> excessive stack use: stack is 3005 deep
________________________________________________________________________________________
Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 5502 vs.
\(2 (35) = 70\).
time = 26.69, size = 5502, normalized size = 157.20 \begin {gather*} \text {Too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(sin(d*x+c)^(-2-m)*(a+a*sin(d*x+c))^m*(1+m-m*sin(d*x+c)),x, algorithm="giac")
[Out]
-8*(cos(2*pi*m*floor(-1/8*sgn(4*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c)
+ 4*tan(d*x + c)^2 + 2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(1/2*d*x + 1/2*c) + 2) + 5/8) + 1/4*pi*m*sgn(4*tan(d*x +
c)^2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c) + 4*tan(d*x + c)^2 + 2*tan(1/2*d*x + 1/2*c
)^2 + 8*tan(1/2*d*x + 1/2*c) + 2) - 1/4*pi*m)*e^(m*log(sqrt(2)*sqrt(abs(4*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c)^
2 + 8*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c) + 4*tan(d*x + c)^2 + 2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(1/2*d*x + 1/2*
c) + 2)*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c)^2 + abs(4*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(d*x + c)^2
*tan(1/2*d*x + 1/2*c) + 4*tan(d*x + c)^2 + 2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(1/2*d*x + 1/2*c) + 2)*tan(d*x + c)
^2 + abs(4*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c) + 4*tan(d*x + c)^2 +
2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(1/2*d*x + 1/2*c) + 2)*tan(1/2*d*x + 1/2*c)^2 + abs(4*tan(d*x + c)^2*tan(1/2*d
*x + 1/2*c)^2 + 8*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c) + 4*tan(d*x + c)^2 + 2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(1/
2*d*x + 1/2*c) + 2))*abs(a)/(tan(d*x + c)^2*tan(1/2*d*x + 1/2*c)^2 + tan(d*x + c)^2 + tan(1/2*d*x + 1/2*c)^2 +
1)) - m*log(4*abs(tan(1/2*d*x + 1/2*c))/(tan(1/2*d*x + 1/2*c)^2 + 1)) - 2*log(4*abs(tan(1/2*d*x + 1/2*c))/(ta
n(1/2*d*x + 1/2*c)^2 + 1)))*tan(-1/2*pi + 1/4*pi*m*sgn(2*a*tan(1/2*d*x + 1/2*c)^4 + 4*a*tan(1/2*d*x + 1/2*c)^3
- 4*a*tan(1/2*d*x + 1/2*c) - 2*a)*sgn(4*a*tan(1/2*d*x + 1/2*c)^3 + 8*a*tan(1/2*d*x + 1/2*c)^2 + 4*a*tan(1/2*d
*x + 1/2*c)) - 1/4*pi*m*sgn(tan(1/2*d*x + 1/2*c)^2 - 1)*sgn(tan(1/2*d*x + 1/2*c)) + 1/4*pi*m*sgn(4*a*tan(1/2*d
*x + 1/2*c)^3 + 8*a*tan(1/2*d*x + 1/2*c)^2 + 4*a*tan(1/2*d*x + 1/2*c)) - 1/2*pi*sgn(tan(1/2*d*x + 1/2*c)^2 - 1
)*sgn(tan(1/2*d*x + 1/2*c)) - 1/4*pi*m + pi*floor(d*x/pi + c/pi + 1/2))^2*tan(1/2*d*x + 1/2*c)^3 - 2*e^(m*log(
sqrt(2)*sqrt(abs(4*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c) + 4*tan(d*x +
c)^2 + 2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(1/2*d*x + 1/2*c) + 2)*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c)^2 + abs(4*t
an(d*x + c)^2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c) + 4*tan(d*x + c)^2 + 2*tan(1/2*d*
x + 1/2*c)^2 + 8*tan(1/2*d*x + 1/2*c) + 2)*tan(d*x + c)^2 + abs(4*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c)^2 + 8*ta
n(d*x + c)^2*tan(1/2*d*x + 1/2*c) + 4*tan(d*x + c)^2 + 2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(1/2*d*x + 1/2*c) + 2)*
tan(1/2*d*x + 1/2*c)^2 + abs(4*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c) +
4*tan(d*x + c)^2 + 2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(1/2*d*x + 1/2*c) + 2))*abs(a)/(tan(d*x + c)^2*tan(1/2*d*x
+ 1/2*c)^2 + tan(d*x + c)^2 + tan(1/2*d*x + 1/2*c)^2 + 1)) - m*log(4*abs(tan(1/2*d*x + 1/2*c))/(tan(1/2*d*x +
1/2*c)^2 + 1)) - 2*log(4*abs(tan(1/2*d*x + 1/2*c))/(tan(1/2*d*x + 1/2*c)^2 + 1)))*sin(2*pi*m*floor(-1/8*sgn(4
*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c) + 4*tan(d*x + c)^2 + 2*tan(1/2*
d*x + 1/2*c)^2 + 8*tan(1/2*d*x + 1/2*c) + 2) + 5/8) + 1/4*pi*m*sgn(4*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c)^2 + 8
*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c) + 4*tan(d*x + c)^2 + 2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(1/2*d*x + 1/2*c) +
2) - 1/4*pi*m)*tan(-1/2*pi + 1/4*pi*m*sgn(2*a*tan(1/2*d*x + 1/2*c)^4 + 4*a*tan(1/2*d*x + 1/2*c)^3 - 4*a*tan(1/
2*d*x + 1/2*c) - 2*a)*sgn(4*a*tan(1/2*d*x + 1/2*c)^3 + 8*a*tan(1/2*d*x + 1/2*c)^2 + 4*a*tan(1/2*d*x + 1/2*c))
- 1/4*pi*m*sgn(tan(1/2*d*x + 1/2*c)^2 - 1)*sgn(tan(1/2*d*x + 1/2*c)) + 1/4*pi*m*sgn(4*a*tan(1/2*d*x + 1/2*c)^3
+ 8*a*tan(1/2*d*x + 1/2*c)^2 + 4*a*tan(1/2*d*x + 1/2*c)) - 1/2*pi*sgn(tan(1/2*d*x + 1/2*c)^2 - 1)*sgn(tan(1/2
*d*x + 1/2*c)) - 1/4*pi*m + pi*floor(d*x/pi + c/pi + 1/2))*tan(1/2*d*x + 1/2*c)^3 - cos(2*pi*m*floor(-1/8*sgn(
4*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c) + 4*tan(d*x + c)^2 + 2*tan(1/2
*d*x + 1/2*c)^2 + 8*tan(1/2*d*x + 1/2*c) + 2) + 5/8) + 1/4*pi*m*sgn(4*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c)^2 +
8*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c) + 4*tan(d*x + c)^2 + 2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(1/2*d*x + 1/2*c) +
2) - 1/4*pi*m)*e^(m*log(sqrt(2)*sqrt(abs(4*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(d*x + c)^2*tan(1/2*d
*x + 1/2*c) + 4*tan(d*x + c)^2 + 2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(1/2*d*x + 1/2*c) + 2)*tan(d*x + c)^2*tan(1/2
*d*x + 1/2*c)^2 + abs(4*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c) + 4*tan(
d*x + c)^2 + 2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(1/2*d*x + 1/2*c) + 2)*tan(d*x + c)^2 + abs(4*tan(d*x + c)^2*tan(
1/2*d*x + 1/2*c)^2 + 8*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c) + 4*tan(d*x + c)^2 + 2*tan(1/2*d*x + 1/2*c)^2 + 8*t
an(1/2*d*x + 1/2*c) + 2)*tan(1/2*d*x + 1/2*c)^2 + abs(4*tan(d*x + c)^2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(d*x + c)
^2*tan(1/2*d*x + 1/2*c) + 4*tan(d*x + c)^2 + 2*tan(1/2*d*x + 1/2*c)^2 + 8*tan(1/2*d*x + 1/2*c) + 2))*abs(a)/(t
an(d*x + c)^2*tan(1/2*d*x + 1/2*c)^2 + tan(d*x + c)^2 + tan(1/2*d*x + 1/2*c)^2 + 1)) - m*log(4*abs(tan(1/2*d*x
+ 1/2*c))/(tan(1/2*d*x + 1/2*c)^2 + 1)) - 2*lo...
________________________________________________________________________________________
Mupad [B]
time = 12.85, size = 38, normalized size = 1.09 \begin {gather*} -\frac {\sin \left (2\,c+2\,d\,x\right )\,{\left (a\,\left (\sin \left (c+d\,x\right )+1\right )\right )}^m}{2\,d\,{\sin \left (c+d\,x\right )}^{m+2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
int(((a + a*sin(c + d*x))^m*(m - m*sin(c + d*x) + 1))/sin(c + d*x)^(m + 2),x)
[Out]
-(sin(2*c + 2*d*x)*(a*(sin(c + d*x) + 1))^m)/(2*d*sin(c + d*x)^(m + 2))
________________________________________________________________________________________